Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
521	ModelicaML Value Bindings for Automated Model Composition Wladimir Schamai1, Peter Fritzson2, Christiaan J.J. Paredis3, and Philipp Helle4 EADS Innovation Works, Germany, {wladimir.schamai, philipp.helle}@eads.net 2 Depa Add to Reading List Source URL: www.openmodelica.org Language: English - Date: 2012-05-14 10:40:23 Systems engineering Formal methods Scientific modeling Methodology Modelica Object-oriented programming Model-based design Software development process Unified Modeling Language Science Software engineering Software development
522	What counts as useful, relevant data? An I-Language perspective Carson Schütze Linguistics Department, University of California, Los Angeles In this talk I strive to address the title question of the workshop from the p Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2006-11-03 10:10:46 Academia Grammar Ceteris paribus Generative grammar Grammaticality Noam Chomsky Generative Formal grammar Transformational grammar Linguistics Generative linguistics Science
523	The Starring Role of Quantifiers in the History of Formal Semantics Barbara H. Partee. Abstract The history of formal semantics is a history of evolving ideas about logical form, linguistic form, and the nature of semant Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2013-01-08 16:19:32 Science Philosophy of language Formal languages Quantification Grammar Intensional logic Generalized quantifier Mathematical logic First-order logic Logic Semantics Linguistics
524	Expression of Interest Form Workshops / Activities / Performances Wodonga – Saturday, 7th and Sunday, 8th MarchThe following information is intended as an expression of interest, and is not a formal offer. The Add to Reading List Source URL: www.gaslightfestival.com.au Language: English - Date: 2014-07-18 00:50:09 Invoice Business Terminology Language Wodonga Victoria Auslan Email
525	Parameterized Regular Expressions and Their Languages Pablo Barceló1 , Leonid Libkin2 , and Juan L. Reutter2 1 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 14:42:30 Applied mathematics Automata theory EXPSPACE Regular language Regular expression Model theory PSPACE-complete FO Symbol Theoretical computer science Formal languages Complexity classes
526	Regular Expressions for Data Words Leonid Libkin and Domagoj Vrgoˇc School of Informatics, University of Edinburgh Abstract. In data words, each position carries not only a letter form a finite alphabet, as the usual wo Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-04 06:54:58 Mathematics Combinatorics String Regular language Regular expression Symbol Ω-automaton Formal languages Automata theory Theoretical computer science
527	READING WITH EARS IN ZULULAND TODAY Add to Reading List Source URL: www.benkhumalo-seegelken.de Language: English - Date: 2014-05-19 06:19:03 Translation Bible Dynamic and formal equivalence New International Version Deutsche Bibelgesellschaft English Bible translations Linguistics Zulu language
528	Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:22 Formal methods Applied mathematics Process Planning Process state Formal verification Blocking Domain-specific language Formal specification Computing Concurrent computing Scheduling
529	IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS—PART C: APPLICATIONS AND REVIEWS, VOL. 37, NO. 6, NOVEMBERAn Ontology for Virtual Organization Breeding Environments Add to Reading List Source URL: www-ai.ijs.si Language: English - Date: 2013-03-25 06:51:59 Semantic Web Data Knowledge representation Information science Technical communication Formal ontology Web Ontology Language Collaborative network Upper ontology Ontology Information Science
530	CHAPTER 1.8 Big Data Analytics for Inclusive Growth: How Technology Can Help Elevate the Add to Reading List Source URL: www3.weforum.org Language: English - Date: 2015-04-10 05:30:42 Data management Data analysis Formal sciences Natural language processing Statistical natural language processing Analytics SAS Institute Text analytics SAS Science Business intelligence Statistics

UPDATE